Visual Representations inside the Language Model
arxiv.orgยท6h
๐ŸงฎVector Embeddings
Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Cactus Language โ€ข Semantics 1
inquiryintoinquiry.comยท18h
๐Ÿ”ขDenotational Semantics
Toy Binary Decision Diagrams
philipzucker.comยท1d
๐ŸงฎAlgebraic Datatypes
Culture, Language, and Generative Language Models
cacm.acm.orgยท21h
๐Ÿค–Grammar Induction
GPT-5-Codex is a better AI researcher than me
seangoedecke.comยท10h
๐Ÿง Intelligence Compression
RAG Chunking Strategies That Actually Work (and Why Most Donโ€™t)
dev.toยท57mยท
Discuss: DEV
๐Ÿ“„Text Chunking
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท6h
๐Ÿ’ปProgramming languages
Embedding Lua in Nim
lambdacreate.comยท22h
๐Ÿฆ€Rust Macros
Detecting Distillation Data from Reasoning Models
arxiv.orgยท6h
โš™๏ธABNF Mining
The Mondrian introduction to functional optics
marcosh.github.ioยท32mยท
Discuss: Hacker News
โŸทBidirectional Programming
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.orgยท6h
๐Ÿ—‚๏ธVector Search
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.orgยท1d
๐ŸงฎSMT Solvers
Towards a Typology of LLM Chains-of-Thought
1a3orn.comยท15hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.orgยท6h
๐Ÿ’ปProgramming languages
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท6h
โšกProof Automation
Lazy text capitalization with low latency large language models
blog.florianschulz.infoยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.orgยท6h
๐Ÿ’ปLocal LLMs
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.orgยท6h
๐Ÿ“ŠHyperLogLog
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.orgยท6h
๐Ÿ—œ๏ธLZW Variants